Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
111	Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2014-04-08 12:00:27 Computability theory Functions and mappings Recursion Theory of computation Proof theory Primitive recursive function Continuous function Elementary function arithmetic Arithmetic function
112	I NTRODUCTION T HE LST FRAMEWORK Iterative forcing and preservation of hyperimmunity Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-06-30 01:30:45 Computability theory Theoretical computer science Mathematical logic Theory of computation Mathematics Model theory Algorithm characterizations operator
113	On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness Ulrich Kohlenbach BRICSy Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:32:59 Complexity classes Computability theory Effective descriptive set theory Arithmetical hierarchy Hierarchy FO
114	Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2005-04-09 16:37:16 Theoretical computer science Mathematics Theory of computation Computability theory Models of computation Mathematical logic Formal methods Algorithm Turing machine Randomized algorithm IP Alan Turing
115	A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2016-05-03 08:34:47 Mathematics Theoretical computer science Computability theory Mathematical logic Theory of computation Turing machine Models of computation Busy beaver Halting problem ZermeloFraenkel set theory Computability Computable function
116	G¨odel functional interpretation and weak compactness Ulrich Kohlenbach1 Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany -darmstadt.d Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-08-31 12:29:01 Mathematics Mathematical analysis Operator theory Computability theory Arithmetic function Primitive recursive function Ergodic theory Hilbert space Theoretical physics Spectral theory of ordinary differential equations Differential forms on a Riemann surface
117	Fractional Adams–Bashforth/Moulton methods: An application to the fractional Keller–Segel chemotaxis system Add to Reading List Source URL: www.cse-lab.ethz.ch Language: English - Date: 2016-05-13 03:26:01 Fractional calculus Spectral method Dynamical systems Computability theory
118	On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-10-14 11:24:50 Proof theory Logic Mathematical logic Mathematics Computability theory Primitive recursive functional Dialectica interpretation Combinatory logic Continuous function
119	AAECC manuscript No. (will be inserted by the editor) Gr¨ obner Basis Cryptosystems Peter Ackermann and Martin Kreuzer Add to Reading List Source URL: www.symbcomp.fim.uni-passau.de Language: English - Date: 2014-10-23 06:42:14 Algebra Abstract algebra Mathematics Semigroup theory Category theory Monoid Finitely generated module Presentation of a monoid Computability theory Substitution Orbifold
120	Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2008-09-01 05:59:33 Mathematics Mathematical analysis Mathematical logic Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation First-order logic Limit of a function Peano axioms Spectral theory of ordinary differential equations

UPDATE